منابع مشابه
Almost Event-Rate Independent Monitoring of Metric Temporal Logic
A monitoring algorithm is trace-length independent if its space consumption does not depend on the number of events processed. The analysis of many monitoring algorithms has aimed at establishing trace-length independence. But a trace-length independent monitor’s space consumption can depend on characteristics of the trace other than its size. We put forward the stronger notion of event-rate in...
متن کاملAlmost k-wise Independent Variables
We will now consider the problem of creating a set of bitstrings such that the bits are almost k-wise independent. Our method consists of two steps. In the first step we create a set of bitstrings such that parity on every fixed index set is almost even. In the second step we present a method to convert such a set into a set where the bits are almost k-wise independent. For presentational reaso...
متن کاملLocally Linearly Independent Systems and Almost Interpolation
A simple method for constructing almost interpolation sets in the case of existence of locally linearly independent systems of basis functions is presented. Various examples of such systems, including translates of box splines and nite-element splines, are considered.
متن کاملRepeated Games with Almost-Public Monitoring
1 This is a substantial revision of ‘‘Repeated Games with Imperfect Private Monitoring: Notes on a Coordination Perspective.’’ That paper was written while Mailath was visiting the Australian National University and Morris was visiting Northwestern University: we thank both institutions for their hospitality. We thank Drew Fudenberg, Michihiro Kandori, and two referees for helpful comments. Mai...
متن کاملMultiple event monitoring
Suppose you were monitoring a group of people in order to determine if anyone of them did something suspicious (e.g., putting down a bag) or if any two interacted in a suspicious manner (e.g., trading bags). How large a group could you monitor successfully? This paper reports on six experiments in which observers monitor a group of entities, watching for an event. Whether the event was performe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Methods in System Design
سال: 2019
ISSN: 0925-9856,1572-8102
DOI: 10.1007/s10703-018-00328-3